#include "init.h"
#include "task.h"
#include "mem.h"
#include "tick.h"

extern void init_timer_cp15();
void osInit(void)
{

    heap_init();
    taskInit();
    osTimerTickInit();
    scheduleInit();
    init_timer_cp15();
    createIdleTask();
}




